退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:约束功能逻辑程序设计中缺失答案的声明性诊断
Rafael Caballero; Mario Rodríguez Artalejo; Rafael Del Vado Vírseda;
机译:对Maude遗漏答案的声明式调试
机译:D-FLAT:使用树分解和答案集编程的声明式问题解决
机译:您的营养计划缺少什么?通过有效的营养干预和教育指南(GENIE)寻找答案
机译:约束功能逻辑编程中遗漏答案的声明式诊断
机译:有约束的数据记录:一种新的答案集编程形式。
机译:具有时间约束的声明式编程使用CG语言
机译:约束功能逻辑程序的错误答案的声明性调试器
机译:包含声明性和程序性约束的高级数据模型
机译:包含说明性和程序性约束的高级数据模型
机译:满足给定约束的公共用户时空约束知识的查询/应答方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。